Program Logics for Certified Compilers

Source URL: vst.cs.princeton.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• Automated theorem proving
• Substructural logic
• Formal verification
• Compiler correctness
• Separation logic
• Correctness
• Semantics
• Hoare logic

Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Source URL: web.ist.utl.pt

• Software
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Optimizing compiler
• Static single assignment form
• Compiler
• Psyco

Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1

Source URL: www.cs.princeton.edu

• Theoretical computer science
• Logic in computer science
• Logic
• Mathematical logic
• Edsger W. Dijkstra
• Formal methods
• Separation logic
• Substructural logic
• Concurrent computing
• Modal logic
• Semantics
• Parallel computing

Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Java Modeling Language
• Postcondition
• Extended static checking
• Predicate transformer semantics
• ESC/Java
• Precondition
• KeY

Python basics Xiao-jiang Li, Ph. D Candidate Department of Geography, UCONN Introduction of Python • Python is ideal for non-professional programmers

Source URL: scholarscollab.uconn.edu

• Software engineering
• Software
• Computing
• Data types
• Formal languages
• Free statistical software
• Python
• NumPy
• Pandas
• String
• Scripting language
• Python syntax and semantics

The Department of Linguistics is proud to present: Lecture Series: The History of Formal Semantics (Barbara H. Partee) and Ontology and the Integration of Formal and Lexical Semantics Vladimir Borschev and Barbara H. Par

Source URL: www.linguistics.uconn.edu

Formal Semantics for Testing ∗ Colin S. Gordon University of Washington Abstract

Source URL: www.cs.drexel.edu

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

Semantics 3: Computational Formal Semantics with Haskell Course Description & Syllabus Fall

Source URL: people.ucsc.edu

RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: hott-uf.gforge.inria.fr

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra